Merge branch 'master' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 19 Jul 2018 18:06:25 +0000 (18:06 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 19 Jul 2018 18:06:25 +0000 (18:06 +0000)
widgetfactory: add separator tool item to presentation

See merge request GNOME/gtk!249


Trivial merge